- 近义词
- formal logic形式逻辑;
- symbolic logicn.数理逻辑,逻辑符号;
- 双语例句 更多例句
Therefore, the three basic laws are not applicable to orthodox mathematical logic.
故而, 传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.
互联网摘选
It is based on mathematical logic-based language function, based on the lambda calculus.
它是以数学逻辑为基础的函数式语言, 基于lambda演算.
互联网摘选
He made fundamental contributions to quantum mechanics, functional analysis, and mathematical logic.
他在量子力学 、 功能分析和数学逻辑方面做出了基础性的贡献.
互联网摘选
In mathematical logic in the study is the main target of all kinds of calculus.
在数理逻辑中研究的主要对象是各种演算.
互联网摘选
数理逻辑思维方法在艺术设计中历来有广泛的运用,一般体现在比例、数列、尺度、模度等方面.
互联网摘选
- 相关词组
- mathematical formula[医] 数学公式;
- mathematical function数学函数;
- symbolic logicn.数理逻辑,逻辑符号;
- mathematical semantics[计] 数学语义;
- logic function逻辑函数;
- affective logic情感逻辑;
- logic error逻辑错误;
- logic programming逻辑程序设计法;
- Boolean logicn.<数>布尔逻辑;
- algebraic logic代数逻辑;
- mathematical semanticist[计] 数学语义学家;
- chop logicv.强词夺理;
- function logic功能逻辑;
- mathematical ability数学能力;
- logic semantics[计]逻辑语义学;
- ad hoc logic专门逻辑;
- contention logic[计] 争用逻辑;
- biasing logic偏置逻辑;
- mathematical expression数学式;
- fuzzy logic模糊逻辑;
- 今日热词
- 热门搜索
- ring n.戒指;环状物;圆形(表演场);炉口;帮派;铃声;清晰的响声;特性;v.包围,给…戴上金属环;画圈;打电话;铃响,按铃;回响;充满;
- 个人简历 resume;bio;vita ; personal resume; biodata
- insert vt.插入;嵌入;(在文章中)添加;加插;n.添入物(尤指一页印刷品图中插入或套印的小图);(书报的)插页;插入物;添加物;
- dust n.灰尘;(建筑物内、家具或地板等上的)灰尘;〈口〉金粉,粉末,粉剂,花粉;v.擦去…的灰尘;撒(粉)于;掸去;刷去;
- gap n.缺口;间隔;差距;
- swell v.膨胀,肿胀;增加,增强;充满(激情);n.浪潮,浪涌;增加,增强;
- bacon n.培根,熏猪肉;
- hat n.帽子;(帽子所表示的)职位,职务;
- initial adj.开始的;n.首字母;
- meddling v.干涉,干预(他人事务)( meddle的现在分词 );
- metal n.金属;金属元素;成色;金色;vt.以金属覆盖;
- deluxe adj.高级的;豪华的;
